大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

0
索取号：
作者：Abdallah、 Ali E.、Jones、 Cliff B.、Sanders、 Jeff W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ambient Intelligence for Scientific Discovery [electronic resource] : Foundations, Theories, and Systems

0
索取号：
作者：Cai、 Yang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Argumentation in Multi-Agent Systems [electronic resource] : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Rahwan、 Iyad.、Mora茂tis、 Pavlos.、Reed、 Chris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Programming Multi-Agent Systems [electronic resource] : Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

0
索取号：
作者：Bordini、 Rafael H.、Dastani、 Mehdi.、Dix、 J眉rgen.、Fallah Seghrouchni、 Amal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Environments for Multi-Agent Systems [electronic resource] : First International Workshop, E4MAS 2004, New York, NY, July 19, 2004, Revised Selected Papers

0
索取号：
作者：Weyns、 Danny.、Dyke Parunak、 H.、Michel、 Fabien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Eijk、 Rogier M.、Huget、 Marc-Philippe.、Dignum、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of J枚rg H. Siekmann on the Occasion of His 60th Birthday

0
索取号：
作者：Hutter、 Dieter.、Stephan、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Grid Computing in Life Science [electronic resource] : First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Konagaya、 Akihiko.、Satou、 Kenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Computer Science-ASIAN 2005. Data Management on the Web [electronic resource] : 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings

0
索取号：
作者：Grumbach、 St茅phane.、Sui、 Liying.、Vianu、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

0
索取号：
作者：Jin、 Hai.、Reed、 Daniel.、Jiang、 Wenbin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Stochastic Algorithms: Foundations and Applications [electronic resource] : Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

0
索取号：
作者：Lupanov、 Oleg B.、Kasim-Zade、 Oktay M.、Chaskin、 Alexander V.、Steinh枚fel、 Kathleen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ambient Networks [electronic resource] : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedings

0
索取号：
作者：Sch枚nw盲lder、 J眉rgen.、Serrat、 Joan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Multi-Agent and Multi-Agent-Based Simulation [electronic resource] : Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

0
索取号：
作者：Davidsson、 Paul.、Logan、 Brian.、Takadama、 Keiki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Adaptive Multimedia Retrieval: User, Context, and Feedback [electronic resource] : Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers

0
索取号：
作者：Detyniecki、 Marcin.、Jose、 Joemon M.、N眉rnberger、 Andreas.、Rijsbergen、 C. J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advanced Information Systems Engineering [electronic resource] : 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005. Proceedings

0
索取号：
作者：Pastor、 Oscar.、Falc茫o e Cunha、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Operations and Management in IP-Based Networks [electronic resource] : 5th IEEE International Workshop on IP Operations and Management, IPOM 2005, Barcelona, Spain, October 26-28, 2005. Proceedings

0
索取号：
作者：Magedanz、 Thomas.、Madeira、 Edmundo R. M.、Dini、 Petre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院